Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
531	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2014-05-16 07:14:52 Models of computation Computability theory Turing machine Automata theory Computable function Computability Computational complexity theory Oracle machine Finite-state machine Theoretical computer science Theory of computation Mathematics
532	A Framework for Formally Verifying Software Transactional Memory Algorithms Mohsen Lesani1 , Victor Luchangco2, and Mark Moir2 1 University of California, Los Angeles, USA Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2012-07-13 22:02:23 Theoretical computer science Computer science Finite-state machine Cellular automata Algorithm Learning automata Büchi automaton Automata theory Models of computation Applied mathematics
533	COMS W3261: Computer Science Theory Class time: Tuesdays and Thursdays 2:40 - 3:55 PM Class location: MUDD 833 Instructor: Allison Lewko Office hours for Instructor: Tuesdays 10:00 AM - 12:00 PM in CSB 519 Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2014-02-27 18:24:23 Formal languages Applied mathematics Mathematics Theory of computation Computability Deterministic finite automaton Nondeterministic finite automaton Finite-state machine Complexity class Automata theory Models of computation Theoretical computer science
534	Weighted finite-state automata Rogier van Dalen 19 April 2012 Cambridge University Engineering Department Add to Reading List Source URL: mi.eng.cam.ac.uk Language: English - Date: 2014-03-05 05:44:14 Automata theory Models of computation Finite-state machine
535	Ragel State Machine Compiler User Guide by Adrian Thurston Add to Reading List Source URL: www.complang.org Language: English - Date: 2009-05-18 14:20:06 Compiler construction Programming language implementation Pattern matching Automata theory Ragel Lex Finite-state machine Regular expression Parsing Computing Software Parser generators
536	Symposium on Theoretical Aspects of Computer Science[removed]Bordeaux), pp[removed]www.stacs-conf.org EFFICIENT MINIMIZATION OF DFAS WITH PARTIAL TRANSITION FUNCTIONS ANTTI VALMARI Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2008-02-05 08:15:37 DFA minimization Nondeterministic finite automaton Symbol Mathematics Computing Logic Büchi automaton Automata theory Models of computation Deterministic finite automaton
537	Investigations on Search Methods for Speech Recognition using Weighted Finite-State Transducers Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH A ACHEN U NIVERSITY Add to Reading List Source URL: www-i6.informatik.rwth-aachen.de Language: English Automata theory Finite state transducer
538	An Introduction to Input/Output Automata Nancy A. Lynch and Mark R. Tuttle Massachusetts Institute of Technology Cambridge, Mass[removed]November 18, 1988 Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Distributed computing I/O Automaton Computing Computer science Finite-state machine Automaton Büchi automaton Automata theory Models of computation Theoretical computer science
539	Hierarchical Correctness Proofs for Distributed Algorithms Nancy A. Lynch and Mark R. Tuttle Laboratory for Computer Science Massachusetts Institute of Technology Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Arbiter Computing Actor model Computer science Software engineering Automata theory Models of computation Finite-state machine
540	Time-Constrained Automata (Extended Abstract) Michael Merritt AT&T Bell Laboratories Add to Reading List Source URL: www.markrtuttle.com Language: English - Date: 2007-04-26 00:00:00 Computer science Software engineering Computing Büchi automaton Automata theory Models of computation Finite-state machine

UPDATE